The Univalent Foundations Program's Documents

The Univalent Foundations Program's Documents

Homotopy Type Theory. Univalent Foundations of Mathematics

Homotopy Type Theory. Univalent Foundations of Mathematics
Read more
Checklist of Cites Species 2005

Checklist of Cites Species 2005
Read more
Mississippi Shrimp Recipes Wild Caught

Mississippi Shrimp Recipes Wild Caught
Read more
Coaching Youth Football

Coaching Youth Football
Read more
ZOMBIE

ZOMBIE
Read more
IWST 2011 : Proceedings of the 3rd edition of the International Workshop on Smalltalk Technologies

IWST 2011 : Proceedings of the 3rd edition of the International Workshop on Smalltalk Technologies
Read more
Coaching Youth Lacrosse

Coaching Youth Lacrosse
Read more
Opening Doors: Pathways to Diverse Donors

Opening Doors: Pathways to Diverse Donors
Read more
Human Development Report 2006: Beyond Scarcity: Power, poverty and the global water crisis (Human Development Report)

Human Development Report 2006: Beyond Scarcity: Power, poverty and the global water crisis (Human Development Report)
Read more
Governance Amid Bigger, Better Markets

Governance Amid Bigger, Better Markets
Read more
Market-Based Governance: Supply Side, Demand Side, Upside, and Downside (Visions of Governance in the 21st Century)

Market-Based Governance: Supply Side, Demand Side, Upside, and Downside (Visions of Governance in the 21st Century)
Read more
Rapid urban environmental assessment: lessons from cities in the developing world, Volume 2

Rapid urban environmental assessment: lessons from cities in the developing world, Volume 2
Read more
Data Needs for the State Children's Health Insurance Program

Data Needs for the State Children's Health Insurance Program
Read more
Envisioning the 2020 Census

Envisioning the 2020 Census
Read more
NOAA's Education Program: Review and Critique

NOAA's Education Program: Review and Critique
Read more
Corporate Restructuring and Industrial Research and Development

Corporate Restructuring and Industrial Research and Development
Read more
Catalysis for Energy: Fundamental Science and Long-Term Impacts of the U.S. Department of Energy Basic Energy Science Catalysis Science Program

Catalysis for Energy: Fundamental Science and Long-Term Impacts of the U.S. Department of Energy Basic Energy Science Catalysis Science Program
Read more
Strengthening the National Institute of Justice

Strengthening the National Institute of Justice
Read more
Hunger and Markets: World Hunger Series 2009

Hunger and Markets: World Hunger Series 2009
Read more
New Beginnings: A Discussion Guide for Living Well with Diabetes

New Beginnings: A Discussion Guide for Living Well with Diabetes
Read more
Basic Machines and How They Work

Basic Machines and How They Work
Read more
The Knitter magazine- Issue 28, 2011

The Knitter magazine- Issue 28, 2011
Read more
You're a Horrible Person, but I Like You: The Believer Book of Advice

You're a Horrible Person, but I Like You: The Believer Book of Advice
Read more
You're a Horrible Person, But I Like You: The Believer Book of Advice

You're a Horrible Person, But I Like You: The Believer Book of Advice
Read more
Chris Culver

Chris Culver
Read more
The Economist February 12th-18th 2011

The Economist February 12th-18th 2011
Read more
TheWanderer

TheWanderer
Read more
Questions and Answers 1953

Questions and Answers 1953
Read more
Questions and Answers, 1957 & 1958

Questions and Answers, 1957 & 1958
Read more
Moonshadows: Conventional Truth in Buddhist Philosophy

Moonshadows: Conventional Truth in Buddhist Philosophy
Read more